Functions and mappings - PDFSEARCH.IO - Document Search Engine

Functions and mappings
Results: 2485

#	Item
151	The design of the Boost interval arithmetic library ? Herv´e Br¨onnimann a,1 Guillaume Melquiond b,2 Sylvain Pion c,3 a CIS, b Ecole ´ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Mathematics Computer arithmetic Arithmetic Numerical analysis Functions and mappings Interval arithmetic Interval Rounding Integral GNU MPFR Mode Function
152	Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2008-09-01 05:59:33 Mathematics Mathematical analysis Mathematical logic Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation First-order logic Limit of a function Peano axioms Spectral theory of ordinary differential equations
153	Finding Composition Trees for Multiple-Valued Functions E. V. Dubrova, J. C. Muzio VLSI Design and Test Group University of Victoria, P.O.Box 3055 Victoria, B.C., Canada, V8W 3P6 Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2002-11-29 08:54:37 Mathematics Functions and mappings Boolean algebra Engineering Functional decomposition Philosophy of mathematics Philosophy of physics Function composition Ear decomposition Tree Function Boolean function
154	ALGEBRA I (COMMON CORE) The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION ALGEBRA I (Common Core) Wednesday, August 12, 2015 — 8:30 to 11:30 a.m., only Add to Reading List Source URL: www.nysedregents.org Language: English - Date: 2015-08-21 11:31:06 Mathematics Mathematical analysis Functions and mappings Parabolas Polynomials Quadratic function Function Expected value Graph
155	ALGEBRA I (COMMON CORE) The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION ALGEBRA I (Common Core) Wednesday, June 17, 2015 — 1:15 to 4:15 p.m., only Add to Reading List Source URL: www.nysedregents.org Language: English - Date: 2015-06-30 09:59:10 Mathematics Mathematical analysis Functions and mappings Equations Polynomials Analysis Limit of a function Equation solving Quadratic function Algebra Maple
156	Microsoft PowerPoint - cs532f15_Week3.pptx Add to Reading List Source URL: www.cs.stevens.edu Language: English - Date: 2015-09-15 23:21:31 Lie groups Functions and mappings Camera matrix Rotation group SO Fundamental matrix Homography Morphism of algebraic varieties SYmbolic LinK
157	On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:17 Constructivism Mathematics Computability theory Mathematical logic Mathematical proofs Functions and mappings Abstraction Proof theory Realizability Constructive proof Primitive recursive function operator
158	PDF Document Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:10:51 Mathematics Mathematical analysis Computability theory Theory of computation Functions and mappings Primitive recursive function Recursion Modulus of continuity Universal property operator Product rule
159	! Revised September 29, 2015 6:10 PM! 1 Add to Reading List Source URL: kiwi.atmos.colostate.edu Language: English - Date: 2015-09-30 08:31:38 Mathematical analysis Mathematics Analysis Differential calculus Functions and mappings Derivative Rates Finite difference method Finite difference Differential of a function Compact finite difference
160	mathoverboardNovPart1.DVI Add to Reading List Source URL: www.mathoverboard.com Language: English - Date: 2012-12-01 03:58:57 Functions and mappings Function Inverse function Domain of a function Constant function Fourier transform Injective function

UPDATE